} else if (!(input instanceof Nonterminal)) {
error(tree.getRoot(), "input must be a nonterminal");
} else {
builder.addInput((Nonterminal) input, true, input);
}
}
}
error(tree.getRoot(), "input must be a nonterminal");
} else {
inputs.put((Nonterminal) input,
builder.addInput((Nonterminal) input, true, input));
}
}
}